Behavioural reasoning for conditional equations
نویسندگان
چکیده
منابع مشابه
Behavioural reasoning for conditional equations
The behavioral equivalence of hidden terms in an equational specification logic is not itself specifiable in general (Buss and Roşu 2000). But much recent work has been done on its partial specification, in particular using coinduction. In this paper we consider the more general notion of conditional behavioral equivalence introduced by Reichel in 1984. We investigate the behavioral proof theor...
متن کاملCausal Conditional Reasoning and Conditional Likelihood
We hypothesized that causal conditional reasoning reflects judgment of the conditional likelihood of causes and effects based on a probabilistic causal model of the scenario being judged. Although this proposal has much in common with Cummins’ (1995) theory based on the number of disabling conditions and alternative causes, it takes more variables into account and therefore makes some differing...
متن کاملConditional probabilistic reasoning without conditional logic
Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revision functions, Standard Imaging and General Imaging, have successfully been applied to modelling information retrieval (IR). Due to the problematic nature of a“direct” implementation of Imaging revision functions, we propose the...
متن کاملConditional Relational Reasoning
Conditional reasoning reasoning with ”if” is very common in everyday life. Consequently, all reasoning theories provide explanations for typical logical errors in conditional reasoning. The combination of conditional reasoning with spatial relational reasoning provides a new test-bed for these theories. Take, for instance, the two assertions ”If the church is to the left of the cinema then the ...
متن کاملReasoning with Conditional Preferences
Before an autonomous agent can perform automated negotiation on behalf of a user in an electronic commerce transaction, the user’s preferences over the set of outcomes must be learned as accurately as possible. This paper presents a structure, a Conditional Outcome Preference Network (COP-network), for modeling preferences directly elicited from a user. The COP-network then expands to indicate ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2007
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129507006305